monotonic reasoning

单调推理